\begin{tabbing}
R{-}da($R$; $i$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es\_realizer\_ind(\=$R$;\+
\\[0ex]fpf{-}empty;
\\[0ex]${\it left}$,${\it right}$,${\it rec}_{1}$,${\it rec}_{2}$.fpf{-}join(Kind{-}deq; ${\it rec}_{1}$; ${\it rec}_{2}$);
\\[0ex]${\it loc}$,$T$,$x$,$v$.fpf{-}empty;
\\[0ex]${\it loc}$,$T$,$x$,$L$.fpf{-}empty;
\\[0ex]${\it lnk}$,${\it tag}$,$L$.fpf{-}empty;
\\[0ex]${\it loc}$,${\it ds}$,${\it knd}$,$T$,$x$,$f$.if eq\_id(${\it loc}$; $i$)
\\[0ex]then fpf{-}single(${\it knd}$; $T$)
\\[0ex]else fpf{-}empty
\\[0ex]fi ;
\\[0ex]${\it ds}$,${\it knd}$,$T$,$l$,${\it dt}$,$g$.if eq\_id(source($l$); $i$)
\\[0ex]then fpf{-}join(Kind{-}deq; fpf{-}single(${\it knd}$; $T$); lnk{-}decl($l$; ${\it dt}$))
\\[0ex]else fpf{-}empty
\\[0ex]fi ;
\\[0ex]${\it loc}$,${\it ds}$,$a$,$p$,$P$.if eq\_id(${\it loc}$; $i$)
\\[0ex]then fpf{-}single(locl($a$); p{-}outcome($p$))
\\[0ex]else fpf{-}empty
\\[0ex]fi ;
\\[0ex]${\it loc}$,$k$,$L$.fpf{-}empty;
\\[0ex]${\it loc}$,$k$,$L$.fpf{-}empty;
\\[0ex]${\it loc}$,$x$,$L$.fpf{-}empty)
\-
\end{tabbing}